Title	Logic of Integrating Metric Space and Time
Author	Xie Qi, Liu Dayou, Yu Qiangyuan, Yu Haibo
Citation	Vol. 6  No. 1  pp. 168~172
Keywords	Temporal logic, metric space, distance, spatio-temporal reasoning

Title	The Semi-automated DNA Computing Model for solving the Satisfiability Problem
Author	Yin Zhixiang, Cui Jianzhong, Shi Xiaohong, Pan Linqiang
Citation	Vol. 6  No. 1  pp. 163~167
Keywords	The satisfiability problem, SAT problem, DNA computing, Semi-automated equipment

Title	Towards Optimal Model Order Selection for Autoregressive Spectral Analysis of Mental Tasks Using Genetic Algorithm
Author	Ramaswamy Palaniappan
Citation	Vol. 6  No. 1  pp. 153~162
Keywords	Autoregressive, EEG, Genetic Algorithm, Mental tasks, Model order

Title	An Immune Algorithm based on the Complement Activation Pathway
Author	Chen Guangzhu, Li Zhishu, Yuan Daohua, Nimazhaxi, Zhai yusheng
Citation	Vol. 6  No. 1  pp. 147~152
Keywords	Artificial immune system, Complement system, Immune complement algorithm, Cleave operator, Bind operator